A First Step towards Argumentation Dialogues for Discovery

We present a formal model for two-agent discovery dialogues. The model allows agents to collectively discover a realization for a shared goal, using argumentation dialogues to exchange information. This information is in the form of rules, assumptions, and contraries of assumptions as in Assumption-based Argumentation (ABA). With dialogues, agents jointly build arguments and construct shared ABA frameworks. We define successful discovery dialogues as those giving admissible arguments that realize the shared goal. The main novelty of this paper is the modelling of the buttom-up relation between utterances. This new relation helps building “higher level” arguments from existing “lower level” supports, which we deem essential for discovery.